منابع مشابه
An On-line Tool for Ontology Evaluation
This paper presents two contributions to the field of Ontology Evaluation. First, a live catalogue of pitfalls that extends previous works on modeling errors with new pitfalls resulting from an empirical analysis of over 693 ontologies. Such a catalogue classifies pitfalls according to the Structural, Functional and UsabilityProfiling dimensions. For each pitfall, we incorporate the value of it...
متن کاملDid You Validate Your Ontology? OOPS!
The application of methodologies for building ontologies can improve ontology quality. However, such quality is not guaranteed because of the difficulties involved in ontology modelling. These difficulties are related to the inclusion of anomalies or bad practices within the ontology development. Several authors have provided lists of typical anomalies detected in ontologies during the last dec...
متن کاملValidating Ontologies with OOPS!
Ontology quality can be affected by the difficulties involved in ontology modelling which may imply the appearance of anomalies in ontologies. This situation leads to the need of validating ontologies, that is, assessing their quality and correctness. Ontology validation is a key activity in different ontology engineering scenarios such as development and selection. This paper contributes to th...
متن کاملOops! What about a Million Kernel Oopses?
When a failure occurs in the Linux kernel, the kernel emits an “oops”, summarizing the execution context of the failure. Kernel oopses describe real Linux errors, and thus can help prioritize debugging efforts and motivate the design of tools to improve the reliability of Linux code. Nevertheless, the information is only meaningful if it is representative and can be interpreted correctly. In th...
متن کاملOOPS: An S5n Prover for Educational Settings
We present OOPS, an open source, cross-platform, easy-to-run tableau prover for S5n. OOPS is aimed at education in modal logics. Thus, it has several features that enable insight into its internal workings. Specifically, OOPS allows tableaux to be visualized and can generate counter-models for formulas that are not provable. Moreover, the OOPS Graphical User Interface (GUI) increases ease of us...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal on Semantic Web and Information Systems
سال: 2014
ISSN: 1552-6283,1552-6291
DOI: 10.4018/ijswis.2014040102